Nuprl Definition : w-withlnk
0,22
postcript
pdf
withlnk(
l
;
mss
) == mapfilter(
ms
.2of(
ms
);
ms
.mlnk(
ms
) =
l
;
mss
)
latex
Definitions
mlnk(
m
)
,
a
=
b
,
2of(
t
)
,
mapfilter(
f
;
P
;
L
)
,
withlnk(
l
;
mss
)
FDL editor aliases
w-withlnk
origin
ms.2of(ms);ms.mlnk(ms) = l;mss) ms.2of(ms);ms.mlnk(ms) = l;mss)